function refresh()
{
	window.parent.location.reload();
}